KJ method in the narrow sense